Wyniki
-
On Set Theory as a Foundation for Computer Science
F.A. Doria, N.C.A. da Costa
Bulletin of the Section of Logic , 33 /1 (2004) s. 33-40 -
Incomplete satisfiability problems
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 22 /4 (1993) s. 150-157 -
On the existence of very difficult satisfiability problem
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 21 /4 (1992) s. 122-133 -
The undecidability of formal definitions in the theory of finite groups
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji
Bulletin of the Section of Logic , 24 /2 (1995) s. 56-63 -
Lettera ad un professore italiano in una copia dello 'Strafrecht' di Taubenschlag
Carla Masi Doria
The Journal of Juristic Papyrology 33 (2003) s. 195-203 -
Lisbon as a site of cross-cultural dialogue
Teresa Cid, Teresa F.A. Alves
Review of International American Studies , 2 /3 (2007) s. 8-9